Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
611	Modal Logic Carnegie Mellon University Fall 2012 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2012-08-24 16:10:09 Kripke semantics Epistemic modal logic First-order logic Deontic logic Temporal logic Dynamic logic Neighborhood semantics Saul Kripke Multimodal logic Logic Mathematical logic Modal logic
612	SELF-SIMILAR AND SOLITARY WAVE SOLUTIONS WITH RING PROFILES OF ¨ TWO-COMPONENT NONLINEAR SCHRODINGER SYSTEMS Add to Reading List Source URL: ima.umn.edu Language: English - Date: 2011-10-06 10:33:30 Linear temporal logic Temporal logic Mathematical logic Symbol Mathematical analysis Mathematics Operator theory
613	Temporal Logical Filtering – Preliminary Results ** DRAFT October 16, 2002 Eyal Amir Computer Science Division University of California at Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2002-11-26 01:07:16** Mathematical logic Knowledge representation Interpretation Philosophy of language Philosophy of mind Semantics Situation calculus Action description language Frame problem Logic Mathematics Logic programming
614	Modal vs. Propositional Reasoning for Model Checking with Description Logic Shoham Ben-David Richard Trefler Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Temporal logic Kripke structure Model checking FO Model theory Logic Mathematical logic Theoretical computer science
615	Generalized tabular reducibilities in infinite levels of the Ershov difference hierarchy. Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:19 Theory of computation Theoretical computer science Functions and mappings Constructible universe Proof theory Computable function Ordinal number Function Linear temporal logic Mathematics Mathematical logic Computability theory
616	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-22 10:44:31 Mathematical logic Model theory Well-formed formula Linear temporal logic Logic Metalogic Formal languages
617	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-31 09:04:26 Function Modal logic Model theory Linear temporal logic Μ operator Mathematics Logic Mathematical logic
618	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-22 09:28:24 Philosophical logic Model theory Metalogic Bisimulation Logic in computer science Kripke semantics Modal logic State transition system Linear temporal logic Logic Mathematical logic Mathematics
619	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-22 09:28:22 K1 Temporal logic
620	Games and Modal Mu-Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:03:05 Mathematics Logic in computer science Philosophical logic Non-classical logic Kripke semantics Modal μ-calculus Combinatory logic Temporal logic Modal depth Logic Mathematical logic Modal logic

UPDATE